This book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational ...